/*
 * Interface to MT19937 random number generator.
 */

#ifndef MT19937_H
#define MT19937_H

/* Seeds the MT19937 random number generator. */
void init_genrand(unsigned long s);

/* Generates an integer random number between 0 and 0xffffffff (both
   inclusive). */
unsigned long genrand_int32(void);

/* Generates a random number in the interval [0,1]. */
double genrand_real1(void);

/* Generates a random number in the interval [0,1). */
double genrand_real2(void);

/* Generates a random number in the interval (0,1). */
double genrand_real3(void);

#endif /* MT19937_H */
